recursion definition造句

例句与造句

1. Later, he and Setzer would write a new type former with rules that allowed new Induction-Recursion definitions to be made inside the type theory.
2. It's difficult to find recursion definition in a sentence. 用recursion definition造句挺难的